programtransformation 相关硕士博士期刊学术论文

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果，即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复置换集......